/**
 * \file kernel/arch/x86_64/archinc.h
 * \author Davide Gessa
 * \date 01-01-10
 */
#ifndef ARCHINC_H
#define ARCHINC_H

#include <types.h>

#endif
